connective and the truth values of the subformulae surrounding that logical connective.' name='description'> valuation function - definition and meaning
valuation function love

valuation function

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun logic A function which assigns a truth value to every well-formed formula, which is identical to the model's interpretation function when applied to atomic propositions, and which otherwise assigns a truth value recursively depending on the formula's top logical connective and the truth values of the subformulae surrounding that logical connective.

Etymologies

Sorry, no etymologies found.

Support

Help support Wordnik (and make this page ad-free) by adopting the word valuation function.

Examples

    Sorry, no example sentences found.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.